Section: New Results

Certifiable real optimization

Under the joint supervision of Stéphane Gaubert and Benjamin Werner, with Xavier Allamigeon, Victor Magron is investigating ways to check difficult real inequalities, over bounded domains, in ways which can be re-checked by proof systems like Coq. One such algorithm, combining convex optimization and Max-plus techniques is submitted for publication at ECC 2013.